引进了自然变换函子的概念，建立了自然同构与伴随间的一类等价关系，系统研究了伴随上的自然变换，主要结果：设〈Ｆ，Ｋ１，η１，ε１〉：Ｘ→Ａ，〈Ｇ，Ｋ２，η２，ε２〉：Ｘ→Ａ，ｎ：Ｆ→Ｇ，ｍ：Ｋ１→......